
#include <string>
#include <vector>

using namespace std;

#include "Expr.h"
#include "ObjectSpec.h"

ObjectSpec::ObjectSpec (Expr *classname, Expr *condition, Expr *retr, Expr *sort) {
 className = classname;
 conditionList = condition;
 retrList = retr;
 sortList = sort;
}

void ObjectSpec::appendObjectSpec (ObjectSpec *objspec) {
 objSpecList.push_back (objspec);
}

void ObjectSpec::setChildObject (ObjectSpec *objspec) {
 childObj = objspec;
}
